Giả thiết Fermat Định lý lớn Fermat

Bài toán II.8 trong Arithmetica của Diophantus, với chú giải của Fermat và sau đó trở thành định lý Fermat cuối cùng (ấn bản 1670)

Định lý này được gọi là định lý cuối cùng của Fermat hay định lý Lớn Fermat là vì vào năm 1630, Fermat cho rằng không thể tìm được nghiệm (nguyên) cho phương trình bậc ba. Điều lý thú ở đây là phỏng đoán này được Fermat viết lại trên lề cuốn sách Arithmetica của Diophantus mà không chứng minh, nhưng có kèm theo dòng chữ: “Tôi có một phương pháp rất hay để chứng minh cho trường hợp tổng quát, nhưng không thể viết ra đây vì lề sách quá hẹp." Việc ông có thực sự chứng minh được định lý đó hay không vẫn còn gây tranh cãi, nhưng vấn đề này đã trở thành một vấn đề nổi tiếng trong toán học. Các nhà toán học hết thế hệ này đến thế hệ khác đã cố sức và đều thất bại trong việc tìm ra lời giải cho định lý này.[1]

Với những dòng viết tay đó, nhà toán học người Pháp Pierre de Fermat đã chính thức buông lời thách đố đối với thế hệ các nhà toán học sau ông. Nhiều nhà toán học đã dành cả cuộc đời để cố chứng minh định lý phát biểu nghe có vẻ hết sức đơn giản này. 

Hành trình mấy trăm năm để giải lời thách đố, cùng với sự phức tạp của lời giải hàng trăm trang, từ bao thế hệ các nhà toán học đã làm người ta vừa nghi ngờ dòng ghi chú của Fermat, vừa tò mò, thán phục ông.

Tài liệu tham khảo

WikiPedia: Định lý lớn Fermat http://www.britannica.com/EBchecked/topic/204685 http://math.stanford.edu/~lekheng/flt/wiles.pdf http://vietsciences.free.fr/biographie/mathematici... http://d-nb.info/gnd/4154012-8 http://diendantoanhoc.net/forum/index.php?showtopi... http://diendantoanhoc.net/modules.php?name=News&fi... http://www.diendantoanhoc.net/forum/index.php?show... http://cgd.best.vwh.net/home/flt/fltpdf.zip http://baotintuc.vn/giai-mat/fermat-va-dinh-ly-lon... https://commons.wikimedia.org/wiki/Category:Fermat...